1,439 research outputs found

    Field evidence of social influence in the expression of political preferences: the case of secessionist flags in Barcelona

    Get PDF
    Different models of social influence have explored the dynamics of social contagion, imitation, and diffusion of different types of traits, opinions, and conducts. However, few behavioral data indicating social influence dynamics have been obtained from direct observation in `natural' social contexts. The present research provides that kind of evidence in the case of the public expression of political preferences in the city of Barcelona, where thousands of citizens supporting the secession of Catalonia from Spain have placed a Catalan flag in their balconies. We present two different studies. 1) In July 2013 we registered the number of flags in 26% of the the city. We find that there is a large dispersion in the density of flags in districts with similar density of pro-independence voters. However, we find that the density of flags tends to be fostered in those electoral district where there is a clear majority of pro-independence vote, while it is inhibited in the opposite cases. 2) During 17 days around Catalonia's 2013 National Holiday we observed the position at balcony resolution of the flags displayed in the facades of 82 blocks. We compare the clustering of flags on the facades observed each day to equivalent random distributions and find that successive hangings of flags are not independent events but that a local influence mechanism is favoring their clustering. We also find that except for the National Holiday day the density of flags tends to be fostered in those facades where there is a clear majority of pro-independence vote.Comment: 27 pages, 13 figures, 2 table

    A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine

    Full text link
    Combining insights from the study of type refinement systems and of monoidal closed chiralities, we show how to reconstruct Lawvere's hyperdoctrine of presheaves using a full and faithful embedding into a monoidal closed bifibration living now over the compact closed category of small categories and distributors. Besides revealing dualities which are not immediately apparent in the traditional presentation of the presheaf hyperdoctrine, this reconstruction leads us to an axiomatic treatment of directed equality predicates (modelled by hom presheaves), realizing a vision initially set out by Lawvere (1970). It also leads to a simple calculus of string diagrams (representing presheaves) that is highly reminiscent of C. S. Peirce's existential graphs for predicate logic, refining an earlier interpretation of existential graphs in terms of Boolean hyperdoctrines by Brady and Trimble. Finally, we illustrate how this work extends to a bifibrational setting a number of fundamental ideas of linear logic.Comment: Identical to the final version of the paper as appears in proceedings of LICS 2016, formatted for on-screen readin

    Fibrational induction meets effects

    Get PDF
    This paper provides several induction rules that can be used to prove properties of effectful data types. Our results are semantic in nature and build upon Hermida and Jacobs’ fibrational formulation of induction for polynomial data types and its extension to all inductive data types by Ghani, Johann, and Fumex. An effectful data type μ(TF) is built from a functor F that describes data, and a monad T that computes effects. Our main contribution is to derive induction rules that are generic over all functors F and monads T such that μ(TF) exists. Along the way, we also derive a principle of definition by structural recursion for effectful data types that is similarly generic. Our induction rule is also generic over the kinds of properties to be proved: like the work on which we build, we work in a general fibrational setting and so can accommodate very general notions of properties, rather than just those of particular syntactic forms. We give examples exploiting the generality of our results, and show how our results specialize to those in the literature, particularly those of Filinski and Støvring

    Tratamiento quirúrgico de la escoliosis en el síndrome de Rett: sistema de instrumentación TRANSPINE

    Get PDF
    El Síndrome de Rett es una afectación neurológica que en los estadios últimos presenta deformidades evolutivas que suelen precisar cirugía. Se han revisado en este estudio 11 pacientes con Síndrome de Rett y deformidad en columna que precisaron cirugía. Se analizaron las magnitudes de las curvas con ángulo de Cobb, alteraciones del plano sagital (cifosis y lordosis), oblicuidad pélvica pre y postoperatoria, niveles de fusión y complicaciones postoperatorias. La corrección media fue del 65%. Se realizó una fusión posterior en todos los pacientes sin incluir sacro pelvis. Los montajes se realizaron principalmente con sistema híbrido de tornillos, ganchos, pinzas y cables laminares TRANSPINE®. Las escoliosis neuromusculares, como el síndrome de Rett, que precisan corrección, pueden controlarse de forma segura y efectiva mediante artrodesis posterior con instrumentación híbrida.Rett Syndrome is a neurological impairment with a typically long C scoliosis curve that often require surgery. In this study it has been reviewed 11 patients with Rett syndrome and spine deformity. We analyzed the magnitudes of the curves with Cobb angle, sagittal plane (kyphosis and lordosis), preoperative and postoperative pelvic obliquity, fusion levels and postoperative complications. The average correction was 65%. Posterior fusion was performed in all patients excluding sacrum pelvis. The assemblies are made mainly with the hybrid system of screws, hooks, clips and cables TRANSPINE®. Neuromuscular scoliosis, such as Rett syndrome, which needs correction, can be controlled safely and effectively by posterior fusion with hybrid constructs

    Mesoporous Functionalized Acid Catalysts And Their Use As Environmentally Friendly Catalysts In Esterification Of Glycerols For Monoglyceride Production.

    Get PDF
    Monoglycerides are valuable compounds with wide applications as emulsifiers in food, pharmaceutical and cosmetic industries. They can be produced by esterification of glycerols with fatty acids
    corecore